1

Invariant testing technique for debugging a structured operating system

Year:
1987
Language:
english
File:
PDF, 352 KB
english, 1987
5

Communication and Resource Deadlock Analysis Using IMDS Formalism and Model Checking

Year:
2016
Language:
english
File:
PDF, 1.01 MB
english, 2016